Criteria for Generating Specification-Based Tests
نویسندگان
چکیده
This paper presents general criteria for generating test inputs from state-based speciications. Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Formal speciications of complex systems represent a signii-cant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can easily be manipulated. These techniques provide coverage criteria that are based on the speciications, and are made up of several parts, including test preexes that contain inputs necessary to put the software into the appropriate state for the test values. The test generation process includes several steps for transforming speciications to tests. Empirical results from a comparative case study application of these criteria are presented.
منابع مشابه
Automated Testing From Z Specifications
This paper considers the problem of automatically generating tests from Z specifications based on userdefined testing criteria. Automation is facilitated by formally specifying heuristics for generating tests that can be applied to a specification using general purpose theorem proving tools. The formal specification of the heuristics also allows desirable properties to be checked and comparativ...
متن کاملFactorized Test Generation for Multi-Input/Output Transition Systems
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The test generation techniques are able to construct a sound (and complete) test suite for correctness criterion miocoF [5] by splitting up this correctness criterion into many simpler correctness criteria, and by generatin...
متن کاملGenerating Test Data from State-based Specifications1
Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system level testing techniques are only described informally. This paper presents formal testing criteria for system level testing that are based on formal specifications of the software. Software testing can only be formalized and quanti...
متن کاملProperty-Coverage Testing
Testing has been used in practice to check the conformation of an implementation to a specification. Recently, there has been much research in automatic generation of tests from specifications based on counterexample and witness generation techniques of model checking. One important issue in test generation is the notion of coverage, which limits the type and number of tests generated. Many cov...
متن کاملReal-Time Testing with Timed Automata Testers and Coverage Criteria
In previous work, we have proposed a framework for black-box conformance testing of realtime systems based on timed automata specifications and two types of tests: analog-clock or digital-clock. Our algorithm to generate analog-clock tests is based on an on-the-fly determinization of the specification automaton during the execution of the test, which in turn relies on reachability computations....
متن کامل